Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning
نویسنده
چکیده
vi Kurzzusammenfassung vii Acknowledgments viii
منابع مشابه
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
In this paper we investigate how to extract proof procedural information contained in declarative representations of mathematical knowledge, such as axioms, definitions, lemmas and theorems (collectively called assertions) and how to effectively include it into automated proof search techniques. In the context of the proof planner Multi and the agent-based reasoning system Ω-Ants, we present te...
متن کاملA blackboard architecture for a hybrid CBR system for scientific software
This paper describes the use of a blackboard architecture for building a hybrid case based reasoning (CBR) system. The Smartfire fire field modelling package has been built using this architecture and includes a CBR component. It allows the integration into the system of qualitative spatial reasoning knowledge from domain experts. The system can be used for the automatic set-up of fire field mo...
متن کاملGreen envelopes classification: the comparative analysis of efficient factors on the thermal and energy performance of green envelopes
This paper classifies green envelopes as green roofs and green walls according to effective factors, which were derived from literature to compare the green envelopes’ thermal and energy performance in a more effective way. For this purpose, an extensive literature review was carried out by searching keywords in databases and studying related journal papers and articles. The research meth...
متن کاملA Control Model for Distributed Blackboard Architecture Based on Task Structures
Knowledge Based Real-Time Systems for intelligent patient monitoring must present the following characteristics: (a) reactivity and opportunism compatible with goal directed control, (b) domain independent task structures, (c) heterogeneous problemsolving methods, and (d) temporal reasoning. Conventional architectures present these characteristics in a separated way. To build a system that pres...
متن کاملIntegrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture
The BBl blackboard control architecture has been proposed to enable systems to integrate diverse reasoning methods to control their own actions. Previous work has shown BBl’s ability to integrate hierarchical planning and opportunistic focusing. We show how it can integrate goal-directed reasoning as well and demonstrate these capabilities in the PROTEAN system. We also compare BBl with alterna...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001